منابع مشابه
Concrete Type Inference: Delivering Object-Oriented Applications
types describe properties or invariants of objects. For example, Emerald’s [13] interface types list a set of operations that objects must support and the types of arguments and results of the operations. Abstract types characterize the externally observable behavior of objects and need not distinguish between different implementations of the same behavior. Returning to our example, both ListSt...
متن کاملObject-Oriented Type Inference for Telescoping Languages
The telescoping-languages approach achieves high performance from applications encoded as high-level scripts. The core idea is to pre-compile underlying libraries to generate multiple variants optimized for use in different possible contexts including different argument types. We have previously developed a type inference algorithm that enables type-based specialization. The algorithm infers ty...
متن کاملDynamic Type Inference to Support Object-Oriented Reenginerring in Smalltalk
Type information is a crucial information to support object-oriented reengineering. In a dynamically typed language like Smalltalk standard static type inference is a complex and heavily computational task. In this paper, we report how we use message passing control and compiler extension to support dynamic inference type in Smalltalk. 1 Object-Oriented Reengineering Goals and Needs In the cont...
متن کاملDesigning Type Inference for Typed Object-Oriented Languages
Designing Type Inference for Typed Object-Oriented Languages
متن کاملAn object-oriented inference engine for PROLOG
This article describes an object-oriented inference engine for PROLOG. The inference engine is part of the Graphically Oriented Development Environment for Logic (Gödel) programming. Gödel incrementally translates source clauses to a persistent clause base in which each clause is an object. The inference engine is a distributed one in which each clause object knows how to unify and execute itse...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 1991
ISSN: 0362-1340,1558-1160
DOI: 10.1145/118014.117965